# -*- mode: snippet -*-
# name: Unset Default Proof Using
# --
Unset Default Proof Using
